A Layered Architecture for Group-oriented Parallel and Distributed Logic Programming Jos

The work we describe in this paper is part of an ongoing project which aims at the development of an integrated parallel and distributed programming environment for a heterogeneous network with multicomputer nodes. Several programming language models and parallel programming tools will be supported in the environment, on top of a common software platform that interfaces with the underlying operating systems and hardware architecture. The main supported languages are C, C++, FORTRAN and PROLOG, extended with constructs for the speci cation of parallelism and distribution, which are suitably adapted to the each base language semantics, and embedded into its corresponding abstract machine. More ambitious